x86/mm: fix broken shadow debug printk
authorAndres Lagar-Cavilla <andres@lagarcavilla.org>
Thu, 22 Mar 2012 10:23:28 +0000 (10:23 +0000)
committerAndres Lagar-Cavilla <andres@lagarcavilla.org>
Thu, 22 Mar 2012 10:23:28 +0000 (10:23 +0000)
Signed-off-by: Andres Lagar-Cavilla <andres@lagarcavilla.org>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Tim Deegan <tim@xen.org>
xen/arch/x86/mm/shadow/common.c

index 1f506365ac17e0e5b5e2902faa37509e32c55d67..62ffbbd041960e24cf70d4af3f6a8644944fbc98 100644 (file)
@@ -2920,7 +2920,7 @@ static void sh_update_paging_modes(struct vcpu *v)
         if ( v->arch.paging.mode != old_mode )
         {
             SHADOW_PRINTK("new paging mode: d=%u v=%u pe=%d gl=%u "
-                          "(was g=%u s=%u)\n",
+                          "sl=%u (was g=%u s=%u)\n",
                           d->domain_id, v->vcpu_id,
                           is_hvm_domain(d) ? hvm_paging_enabled(v) : 1,
                           v->arch.paging.mode->guest_levels,